2

What Does “Less Than or Equal“ Really Mean?

Guram Bezhanishvili,, David Pengelley,
Journal:
American Mathematical Monthly
Year:
2015
Language:
english
File:
PDF, 174 KB
english, 2015
4

AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE

BEZHANISHVILI, GURAM, BEZHANISHVILI, NICK
Journal:
The Review of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 223 KB
english, 2009
5

Profinite Completions and Canonical Extensions of Heyting Algebras

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
Journal:
Order
Year:
2006
Language:
english
File:
PDF, 467 KB
english, 2006
6

The modal logic of({eta(mathbb{N})})

Guram Bezhanishvili, John Harding
Journal:
Archive for Mathematical Logic
Year:
2009
Language:
english
File:
PDF, 204 KB
english, 2009
8

Some Results on Modal Axiomatization and Definability for Topological Spaces

Guram Bezhanishvili, Leo Esakia, David Gabelaia
Journal:
Studia Logica
Year:
2005
Language:
english
File:
PDF, 414 KB
english, 2005
9

Modal Logics of Stone Spaces

Guram Bezhanishvili, John Harding
Journal:
Order
Year:
2012
Language:
english
File:
PDF, 440 KB
english, 2012
10

Epimorphisms in varieties of residuated structures

Bezhanishvili, Guram, Moraschini, Tommaso, Raftery, James G.
Journal:
Journal of Algebra
Year:
2017
Language:
english
File:
PDF, 584 KB
english, 2017
11

The Priestley Separation Axiom for Scattered Spaces

Guram Bezhanishvili, Ray Mines, Patrick J. Morandi
Journal:
Order
Year:
2002
Language:
english
File:
PDF, 92 KB
english, 2002
12

TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4

BEZHANISHVILI, GURAM, GABELAIA, DAVID, LUCERO-BRYAN, JOEL
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 729 KB
english, 2015
13

KRULL DIMENSION IN MODAL LOGIC

BEZHANISHVILI, GURAM, BEZHANISHVILI, NICK, LUCERO-BRYAN, JOEL, VAN MILL, JAN
Journal:
Journal of Symbolic Logic
Year:
2017
Language:
english
File:
PDF, 386 KB
english, 2017
14

Generalized Priestley Quasi-Orders

Guram Bezhanishvili, Ramon Jansana
Journal:
Order
Year:
2011
Language:
english
File:
PDF, 454 KB
english, 2011
15

Order-Compactifications of Totally Ordered Spaces: Revisited

Guram Bezhanishvili, Patrick J. Morandi
Journal:
Order
Year:
2011
Language:
english
File:
PDF, 370 KB
english, 2011
16

An algebraic approach to subframe logics. Intuitionistic case

Guram Bezhanishvili, Silvio Ghilardi
Journal:
Annals of Pure and Applied Logic
Year:
2007
Language:
english
File:
PDF, 365 KB
english, 2007
18

Comparison of MacNeille, Canonical, and Profinite Completions

Guram Bezhanishvili, Jacob Vosmaer
Journal:
Order
Year:
2008
Language:
english
File:
PDF, 540 KB
english, 2008
19

An Algebraic Approach to Subframe Logics. Modal Case

Bezhanishvili, Guram, Ghilardi, Silvio, Jibladze, Mamuka
Journal:
Notre Dame Journal of Formal Logic
Year:
2011
Language:
english
File:
PDF, 259 KB
english, 2011
20

A semantic hierarchy for intuitionistic logic

Bezhanishvili, Guram, Holliday, Wesley H.
Journal:
Indagationes Mathematicae
Year:
2019
Language:
english
File:
PDF, 1.07 MB
english, 2019
21

Stone duality and Gleason covers through de Vries duality

Guram Bezhanishvili
Journal:
Topology and its Applications
Year:
2010
Language:
english
File:
PDF, 284 KB
english, 2010
22

Canonical extensions of bounded archimedean vector lattices

Bezhanishvili, Guram, Morandi, Patrick J., Olberding, Bruce
Journal:
Algebra Universalis
Year:
2018
Language:
english
File:
PDF, 501 KB
english, 2018
23

Euclidean Hierarchy in Modal Logic

Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
Journal:
Studia Logica
Year:
2003
File:
PDF, 2.77 MB
2003
24

Priestley Rings and Priestley Order-Compactifications

Guram Bezhanishvili, Patrick J. Morandi
Journal:
Order
Year:
2011
Language:
english
File:
PDF, 392 KB
english, 2011
25

Euclidean Hierarchy in Modal Logic

Johan van Benthem, Guram Bezhanishvili and Mai Gehrke
Journal:
Studia Logica
Year:
2003
Language:
english
File:
PDF, 1.81 MB
english, 2003
26

Zero-dimensional proximities and zero-dimensional compactifications

Guram Bezhanishvili
Journal:
Topology and its Applications
Year:
2009
Language:
english
File:
PDF, 201 KB
english, 2009
27

On the Proof that Compact Hausdorff Boolean Algebras are Powersets

Bezhanishvili, Guram, Harding, John
Journal:
Order
Year:
2016
Language:
english
File:
PDF, 179 KB
english, 2016
28

[Trends in Logic] Heyting Algebras Volume 50 (Duality Theory) ||

Esakia, Leo, Bezhanishvili, Guram, Holliday, Wesley H.
Year:
2019
Language:
english
File:
PDF, 1.61 MB
english, 2019
29

Logic for physical space

Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
Journal:
Synthese
Year:
2012
Language:
english
File:
PDF, 222 KB
english, 2012
30

Dedicated to the Memory of Leo Esakia || Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici and Yde Venema
Journal:
Studia Logica
Year:
2012
Language:
english
File:
PDF, 1012 KB
english, 2012
31

Connected modal logics

Guram Bezhanishvili, David Gabelaia
Journal:
Archive for Mathematical Logic
Year:
2011
Language:
english
File:
PDF, 528 KB
english, 2011
32

Varieties of Monadic Heyting Algebras Part II: Duality Theory

Guram Bezhanishvili
Journal:
Studia Logica
Year:
1999
File:
PDF, 1.27 MB
1999
33

Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
Journal:
Studia Logica
Year:
2012
Language:
english
File:
PDF, 142 KB
english, 2012
34

Forbidden configurations and subframe varieties

Bezhanishvili, Guram
Journal:
Algebra Universalis
Year:
2016
Language:
english
File:
PDF, 651 KB
english, 2016
35

Localic Krull dimension

Bezhanishvili, Guram, Bezhanishvili, Nick, Lucero-Bryan, Joel, van Mill, Jan
Journal:
PAMM
Year:
2016
Language:
english
File:
PDF, 132 KB
english, 2016
36

Esakia Style Duality for Implicative Semilattices

Bezhanishvili, Guram, Jansana, Ramon
Journal:
Applied Categorical Structures
Year:
2013
Language:
english
File:
PDF, 518 KB
english, 2013
38

STABLE CANONICAL RULES

BEZHANISHVILI, GURAM, BEZHANISHVILI, NICK, IEMHOFF, ROSALIE
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 359 KB
english, 2016
39

Varieties of Monadic Heyting Algebras. Part I

Guram Bezhanishvili
Journal:
Studia Logica
Year:
1998
Language:
english
File:
PDF, 3.53 MB
english, 1998
40

Proximity Frames and Regularization

Bezhanishvili, Guram, Harding, John
Journal:
Applied Categorical Structures
Year:
2014
Language:
english
File:
PDF, 831 KB
english, 2014
41

Varieties of Monadic Heyting Algebras. Part I

Guram Bezhanishvili
Journal:
Studia Logica
Year:
1998
File:
PDF, 1.97 MB
1998
44

An Algebraic Approach to Canonical Formulas: Modal Case

Guram Bezhanishvili, Nick Bezhanishvili
Journal:
Studia Logica
Year:
2011
Language:
english
File:
PDF, 1.72 MB
english, 2011
45

Glivenko Type Theorems for Intuitionistic Modal Logics

Guram Bezhanishvili
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 2.09 MB
english, 2001
47

Subspaces of({mathbb{Q}})whose d-logics do not have the FMP

Bezhanishvili, Guram, Lucero-Bryan, Joel
Journal:
Archive for Mathematical Logic
Year:
2012
Language:
english
File:
PDF, 239 KB
english, 2012
48

THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE

BEZHANISHVILI, GURAM, ESAKIA, LEO, GABELAIA, DAVID
Journal:
The Review of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 149 KB
english, 2010
49

Lattice subordinations and Priestley duality

Bezhanishvili, Guram
Journal:
Algebra Universalis
Year:
2013
Language:
english
File:
PDF, 280 KB
english, 2013